MozartV1, PascalFrancis, Curation, bibRecord, 000184

Advances in concurrent multilevel simulation

Identifieur interne : 000184 ( PascalFrancis/Curation ); précédent : 000183; suivant : 000185

Advances in concurrent multilevel simulation

Auteurs : S. Gai ; F. Somenzi ; E. Ulrich

Source :

IEEE transactions on computer-aided design of integrated circuits and systems [ 50629X ] ; 1987.

RBID : Pascal:88-0161913

Descripteurs français

Pascal (Inist)
- Circuit intégré, Simulation, Simulateur, Vérification, Conception assistée, Méthodologie, Simulation faute, Simulateur MOZART.
Wicri :
- topic : Simulation.

English descriptors

KwdEn :
- Computer aided design, Integrated circuit, Methodology, Simulation, Simulator, Verification.

Abstract

La simulation des circuits décrite à des niveaux multiples d'abstraction (RT, portes, commutation) est un problème majeur en conception assistée et vérification. Bien que le paradigme concurrent soit généralement reconnu comme le plus efficace, plusieurs techniques cruciales l'étendent à la simulation de grands circuits sur des niveaux multiples. En particulier on présente les progrès de rapidité, précision et généralité basés sur la traversée de listes multiples, le traitement d'événements simultanés, les événements des listes, et la détermination des niveaux. Ceci est réalisé par le simulateur MOZART

A01	`01`	`2`		`@0 50629X`
A03		`1`		`@0 IEEE trans. comput.-aided des. integr. circuits syst.`
A05				`@2 6`
A06				`@2 6`
A08	`01`	`1`	`ENG`	`@1 Advances in concurrent multilevel simulation`
A11	`01`	`1`		`@1 GAI (S.)`
A11	`02`	`1`		`@1 SOMENZI (F.)`
A11	`03`	`1`		`@1 ULRICH (E.)`
A14	`01`			`@1 Politec. Torino @2 Torino 10129 @3 ITA @Z A11011000`
A20				`@1 1006-1012`
A21				`@1 1987`
A23	`01`			`@0 ENG`
A43	`01`			`@1 CNRS @2 222X`
A44				`@0 0000`
A45				`@0 15 ref.`
A47	`01`	`1`		`@0 88-0161913`
A60				`@1 P`
A61				`@0 A`
A64		`1`		`@0 IEEE transactions on computer-aided design of integrated circuits and systems`
A66	`01`			`@0 USA`
C01	`01`		`FRE`	@0 La simulation des circuits décrite à des niveaux multiples d'abstraction (RT, portes, commutation) est un problème majeur en conception assistée et vérification. Bien que le paradigme concurrent soit généralement reconnu comme le plus efficace, plusieurs techniques cruciales l'étendent à la simulation de grands circuits sur des niveaux multiples. En particulier on présente les progrès de rapidité, précision et généralité basés sur la traversée de listes multiples, le traitement d'événements simultanés, les événements des listes, et la détermination des niveaux. Ceci est réalisé par le simulateur MOZART
C02	`01`	`2`		`@0 001D03F06`
C03	`01`	`2`	`FRE`	`@0 Circuit intégré`
C03	`02`	`2`	`FRE`	`@0 Simulation`
C03	`03`	`2`	`FRE`	`@0 Simulateur`
C03	`04`	`2`	`FRE`	`@0 Vérification`
C03	`05`	`2`	`FRE`	`@0 Conception assistée`
C03	`06`	`2`	`FRE`	`@0 Méthodologie`
C03	`07`	`2`	`FRE`	`@0 Simulation faute @4 INC`
C03	`08`	`2`	`FRE`	`@0 Simulateur MOZART @4 INC`
C03	`01`	`2`	`ENG`	`@0 Integrated circuit`
C03	`02`	`2`	`ENG`	`@0 Simulation`
C03	`03`	`2`	`ENG`	`@0 Simulator`
C03	`04`	`2`	`ENG`	`@0 Verification`
C03	`05`	`2`	`ENG`	`@0 Computer aided design`
C03	`06`	`2`	`ENG`	`@0 Methodology`
C03	`01`	`2`	`SPA`	`@0 Circuito integrado`
C03	`02`	`2`	`SPA`	`@0 Simulación`
C03	`03`	`2`	`SPA`	`@0 Simulador`
C03	`04`	`2`	`SPA`	`@0 Verificación`
C03	`05`	`2`	`SPA`	`@0 Concepción asistida`
C03	`06`	`2`	`SPA`	`@0 Metodología`
C04	`01`	`2`		`@0 PM01!02`
N21				`@1 748`

Links toward previous steps (curation, corpus...)

to stream PascalFrancis, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000331

Links to Exploration step

Pascal:88-0161913

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">Advances in concurrent multilevel simulation</title>
<author><name sortKey="Gai, S" sort="Gai, S" uniqKey="Gai S" first="S." last="Gai">S. Gai</name>
</author>
<author><name sortKey="Somenzi, F" sort="Somenzi, F" uniqKey="Somenzi F" first="F." last="Somenzi">F. Somenzi</name>
</author>
<author><name sortKey="Ulrich, E" sort="Ulrich, E" uniqKey="Ulrich E" first="E." last="Ulrich">E. Ulrich</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">88-0161913</idno>
<date when="1987">1987</date>
<idno type="stanalyst">PASCAL 88-0161913 INIST</idno>
<idno type="RBID">Pascal:88-0161913</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000331</idno>
<idno type="wicri:Area/PascalFrancis/Curation">000184</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">Advances in concurrent multilevel simulation</title>
<author><name sortKey="Gai, S" sort="Gai, S" uniqKey="Gai S" first="S." last="Gai">S. Gai</name>
</author>
<author><name sortKey="Somenzi, F" sort="Somenzi, F" uniqKey="Somenzi F" first="F." last="Somenzi">F. Somenzi</name>
</author>
<author><name sortKey="Ulrich, E" sort="Ulrich, E" uniqKey="Ulrich E" first="E." last="Ulrich">E. Ulrich</name>
</author>
</analytic>
<series><title level="j" type="main">IEEE transactions on computer-aided design of integrated circuits and systems</title>
<title level="j" type="abbreviated">IEEE trans. comput.-aided des. integr. circuits syst.</title>
<idno type="ISSN">50629X</idno>
<imprint><date when="1987">1987</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">IEEE transactions on computer-aided design of integrated circuits and systems</title>
<title level="j" type="abbreviated">IEEE trans. comput.-aided des. integr. circuits syst.</title>
<idno type="ISSN">50629X</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Computer aided design</term>
<term>Integrated circuit</term>
<term>Methodology</term>
<term>Simulation</term>
<term>Simulator</term>
<term>Verification</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Circuit intégré</term>
<term>Simulation</term>
<term>Simulateur</term>
<term>Vérification</term>
<term>Conception assistée</term>
<term>Méthodologie</term>
<term>Simulation faute</term>
<term>Simulateur MOZART</term>
</keywords>
<keywords scheme="Wicri" type="topic" xml:lang="fr"><term>Simulation</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr">La simulation des circuits décrite à des niveaux multiples d'abstraction (RT, portes, commutation) est un problème majeur en conception assistée et vérification. Bien que le paradigme concurrent soit généralement reconnu comme le plus efficace, plusieurs techniques cruciales l'étendent à la simulation de grands circuits sur des niveaux multiples. En particulier on présente les progrès de rapidité, précision et généralité basés sur la traversée de listes multiples, le traitement d'événements simultanés, les événements des listes, et la détermination des niveaux. Ceci est réalisé par le simulateur MOZART</div>
</front>
</TEI>
<inist><standard h6="B"><pA><fA01 i1="01" i2="2"><s0>50629X</s0>
</fA01>
<fA03 i2="1"><s0>IEEE trans. comput.-aided des. integr. circuits syst.</s0>
</fA03>
<fA05><s2>6</s2>
</fA05>
<fA06><s2>6</s2>
</fA06>
<fA08 i1="01" i2="1" l="ENG"><s1>Advances in concurrent multilevel simulation</s1>
</fA08>
<fA11 i1="01" i2="1"><s1>GAI (S.)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>SOMENZI (F.)</s1>
</fA11>
<fA11 i1="03" i2="1"><s1>ULRICH (E.)</s1>
</fA11>
<fA14 i1="01"><s1>Politec. Torino</s1>
<s2>Torino 10129</s2>
<s3>ITA</s3>
<sZ>A11011000</sZ>
</fA14>
<fA20><s1>1006-1012</s1>
</fA20>
<fA21><s1>1987</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA43 i1="01"><s1>CNRS</s1>
<s2>222X</s2>
</fA43>
<fA44><s0>0000</s0>
</fA44>
<fA45><s0>15 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>88-0161913</s0>
</fA47>
<fA60><s1>P</s1>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA64 i2="1"><s0>IEEE transactions on computer-aided design of integrated circuits and systems</s0>
</fA64>
<fA66 i1="01"><s0>USA</s0>
</fA66>
<fC01 i1="01" l="FRE"><s0>La simulation des circuits décrite à des niveaux multiples d'abstraction (RT, portes, commutation) est un problème majeur en conception assistée et vérification. Bien que le paradigme concurrent soit généralement reconnu comme le plus efficace, plusieurs techniques cruciales l'étendent à la simulation de grands circuits sur des niveaux multiples. En particulier on présente les progrès de rapidité, précision et généralité basés sur la traversée de listes multiples, le traitement d'événements simultanés, les événements des listes, et la détermination des niveaux. Ceci est réalisé par le simulateur MOZART</s0>
</fC01>
<fC02 i1="01" i2="2"><s0>001D03F06</s0>
</fC02>
<fC03 i1="01" i2="2" l="FRE"><s0>Circuit intégré</s0>
</fC03>
<fC03 i1="02" i2="2" l="FRE"><s0>Simulation</s0>
</fC03>
<fC03 i1="03" i2="2" l="FRE"><s0>Simulateur</s0>
</fC03>
<fC03 i1="04" i2="2" l="FRE"><s0>Vérification</s0>
</fC03>
<fC03 i1="05" i2="2" l="FRE"><s0>Conception assistée</s0>
</fC03>
<fC03 i1="06" i2="2" l="FRE"><s0>Méthodologie</s0>
</fC03>
<fC03 i1="07" i2="2" l="FRE"><s0>Simulation faute</s0>
<s4>INC</s4>
</fC03>
<fC03 i1="08" i2="2" l="FRE"><s0>Simulateur MOZART</s0>
<s4>INC</s4>
</fC03>
<fC03 i1="01" i2="2" l="ENG"><s0>Integrated circuit</s0>
</fC03>
<fC03 i1="02" i2="2" l="ENG"><s0>Simulation</s0>
</fC03>
<fC03 i1="03" i2="2" l="ENG"><s0>Simulator</s0>
</fC03>
<fC03 i1="04" i2="2" l="ENG"><s0>Verification</s0>
</fC03>
<fC03 i1="05" i2="2" l="ENG"><s0>Computer aided design</s0>
</fC03>
<fC03 i1="06" i2="2" l="ENG"><s0>Methodology</s0>
</fC03>
<fC03 i1="01" i2="2" l="SPA"><s0>Circuito integrado</s0>
</fC03>
<fC03 i1="02" i2="2" l="SPA"><s0>Simulación</s0>
</fC03>
<fC03 i1="03" i2="2" l="SPA"><s0>Simulador</s0>
</fC03>
<fC03 i1="04" i2="2" l="SPA"><s0>Verificación</s0>
</fC03>
<fC03 i1="05" i2="2" l="SPA"><s0>Concepción asistida</s0>
</fC03>
<fC03 i1="06" i2="2" l="SPA"><s0>Metodología</s0>
</fC03>
<fC04 i1="01" i2="2"><s0>PM01!02</s0>
</fC04>
<fN21><s1>748</s1>
</fN21>
</pA>
</standard>
</inist>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/MozartV1/Data/PascalFrancis/Curation

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000184 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Curation/biblio.hfd -nk 000184 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Musique
   |area=    MozartV1
   |flux=    PascalFrancis
   |étape=   Curation
   |type=    RBID
   |clé=     Pascal:88-0161913
   |texte=   Advances in concurrent multilevel simulation
}}

This area was generated with Dilib version V0.6.20.
Data generation: Sun Apr 10 15:06:14 2016. Site generation: Tue Feb 7 15:40:35 2023

	Serveur d'exploration sur Mozart
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur Mozart

Advances in concurrent multilevel simulation

Advances in concurrent multilevel simulation

Source :

Descripteurs français

English descriptors

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri